fmap :: (a -> b) -> Maybe a -> Maybe b